منابع مشابه
Verification Tools for Autonomous and Embedded Systems
Society depends increasingly on computers to perform tasks that affect and enrich our daily lives. These computers help run our power plants, monitor our heartbeat, drive our cars, cook our food, and detect strangers in our house. They enable us to install satellites in space and to build earthquake-sensitive buildings. Increasingly these computing systems are required to perform more complex t...
متن کاملOPTIMIZED FUZZY CONTROL DESIGN OF AN AUTONOMOUS UNDERWATER VEHICLE
In this study, the roll, yaw and depth fuzzy control of an Au- tonomous Underwater Vehicle (AUV) are addressed. Yaw and roll angles are regulated only using their errors and rates, but due to the complexity of depth dynamic channel, additional pitch rate quantity is used to improve the depth loop performance. The discussed AUV has four aps at the rear of the vehicle as actuators. Two rule bases...
متن کاملAutonomous and Non-Autonomous EFL Learners’ Strategies and Practices
Abstract The present study aimed at discovering the practices and strategies autonomous EFL learners pursue in their endeavor to master English. It thus set out in the Iranian context, with 60 EFL learners, both autonomous and non-autonomous, as participants. The gathered data through a questionnaire and an interview were subjected to content and descriptive analysis. The results showed that bo...
متن کاملAutonomous and Non-Autonomous EFL Learners’ Strategies and Practices
Abstract The present study aimed at discovering the practices and strategies autonomous EFL learners pursue in their endeavor to master English. It thus set out in the Iranian context, with 60 EFL learners, both autonomous and non-autonomous, as participants. The gathered data through a questionnaire and an interview were subjected to content and descriptive analysis. The results showed that bo...
متن کاملDesign Methodologies and Tools
The developments in an electronic technology can make it possible to fabricate hardware components which contain millions of transistors. The trend of increasing complexity has continued for some time. Recent estimations point out that the number of transistors per chip grows 10 times every six years and the speed of chips increases 10 times every eight years. In this situation, designers have ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2018
ISSN: 0001-0782,1557-7317
DOI: 10.1145/3210753